72,75€(IVA inc.)
Computational logic and set theory: applying formalized logic to analysis
- Schwartz, Jacob T.
- 978-0-85729-807-2
- 2011-07-31
72,75€(IVA inc.)
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
- Schwartz, Jacob T.
- 978-1-4471-6018-2
- 2014-09-06
119,59€(IVA inc.)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
- Omodeo, Eugenio G.
- 978-3-319-41841-4
- 2016-12-20
72,75€(IVA inc.)
Set theory for computing: from decision procedures to declarative programming with sets
- Cantone, Domenico
- 978-1-4419-2905-1
- 2012-03-31